Merge pull request #7810 from haodong/fish
authorHannu Nyman <[email protected]>
Sun, 30 Dec 2018 18:14:37 +0000 (20:14 +0200)
committerGitHub <[email protected]>
Sun, 30 Dec 2018 18:14:37 +0000 (20:14 +0200)
fish: updated to v3.0.0, revert "apropos fix" for being fixed officially


Trivial merge